| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| abs-to-name | Text File | 10 | 132 b | 1998-10-23 |
| abs-to-oct | Text File | 10 | 139 b | 1998-10-23 |
| is-note-name | Text File | 13 | 243 b | 1998-10-23 |
| note-to-abs | Text File | 8 | 116 b | 1998-10-23 |
| note-to-number | Text File | 16 | 158 b | 1998-10-23 |
| number-to-note | Text File | 18 | 221 b | 1998-10-23 |